Developing Systemic Thinking through Gamification with Invention System Kits

Discovery, invention, and development: human creative thinking.

Algorithm Invention and Verification by Lazy Thinking

Acknowledgment: Sponsored by FWF (Österreichischer Fonds zur Förderung der Wissenschaftlichen Forschung; Austrian Science Foundation, Project SFB 1302, in the frame of the SFB "Scientific Computing" at the Johannes Kepler University, Linz, Austria. My PhD student Adrian Craciun implemented the case study in the frame of the Theorema system starting from my earlier versions of the induction prov...

Gaming science: the “Gamification” of scientific thinking

Science is critically important for advancing economics, health, and social well-being in the twenty-first century. A scientifically literate workforce is one that is well-suited to meet the challenges of an information economy. However, scientific thinking skills do not routinely develop and must be scaffolded via educational and cultural tools. In this paper we outline a rationale for why we ...

System to Detect Racial-Based Bullying through Gamification

Prevention and detection of bullying due to racial stigma was studied in school contexts using a system designed following "gamification" principles and integrating less usual elements, such as social interaction, augmented reality and cell phones in educational scenarios. "Grounded Theory" and "User Centered Design" were employed to explore coexistence inside and outside the classroom in terms...

Inferring Loop Invariants through Gamification

In today’s modern world, bugs in software systems incur significant costs. One promising approach to improve software quality is automated software verification. In this approach, an automated tool tries to prove the software correct once and for all. Although significant progress has been made in this direction, there are still many cases where automated tools fail. We focus specifically on on...